Design Verification of Complex Microprocessors
نویسندگان
چکیده
As t h e complexity of microprocessor increases, functional verification becomes more difficult and emerges as t h e bottleneck of t he design cycle. In this paper, we suggest a functional verification methodology, especially for t he compatible microprocessor design. To guarantee t h e perfect compatibility with previous microprocessors, we developed these C models in different representation levels, a.e., Polaris, MCV(Mzcro-Code Verqfier) and StreC. An instruction behavioral level C model(Polarzs) is verified using the slowed-down PC. In t h e implementation of micro-architecture, a micro-operational level model(MCV) and RTL model(StreC), both written in C, are co-simulated with consistency checking(1PC) between these two models. The simulat ion speed of C models makes i t possible to test t h e “real-world” application programs on the C model with a software board model( VPC). To increase t h e confidence level of verifications, Profiler reports the verification coverage of t he test program, which is fed vack t o t h e automatic test prograin generator( Pandora). Restartabzlity feature also helps significantly reduce the total simulation time. Using t h e proposed verification methodology, we designed and verified the K486, an Intel 486-compatible microprocessor successfully.
منابع مشابه
Design Verification of Advanced Pipelined Machines
We have developed formal verification techniques for the high-level design of pipelined microprocessors. Our technique represents the instruction stream in such a way that pipeline properties, such as RAW hazards do not exist, can be directly expressed. This approach allows us to prove the correctness of the machine design incrementally, which reduces the computational cost of the verification....
متن کاملHigh-Level Design Verification of Microprocessors via Error Modeling1
A project is under way at the University of Michigan to develop a design verification methodology for microprocessor hardware based on modeling design errors and generating simulation vectors for the modeled errors via physical fault testing techniques. We have developed a method to systematically collect design error data, and gathered concrete error data from a number of microprocessor design...
متن کاملVerification methodology of compatible microprocessors
As the complexity of high-performance microprocessor increases, functional verification becomes more difficult and emerges as the bottleneck of the design cycle. In this paper, we suggest a functional verification methodology, especially for the compatible microprocessor design. To guarantee the perfect compatibility with previous microprocessors, we developed three C models in different repres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Circuits, Systems, and Computers
دوره 7 شماره
صفحات -
تاریخ انتشار 1997